Mistral AI，这家法国公司是 AI 助手 Le Chat 和多个基础模型背后的力量组成，被官方视为法国最有前途的科技初创企业之一，且可以说是能与 OpenAI 竞争的欧洲公司。然而，与其 60 亿美元的估值相比，其全球市场份额仍相对较低。
「即便最终赢家不是它，它也足够意义重大。」一位 LAM 产品经理这样评价 Manus AI 的行业价值。
随着 DeepSeek-R1 的流行与 AI4Math 研究的深入，大模型在辅助形式化证明写作方面的需求日益增长。作为数学推理最直接的应用场景，形式化推理与验证（formal reasoning and verification），也获得持续关注。
自媒体的反应堪称狂热：“通用Agent终于实现了！”“这是继DeepSeek之后的又一技术革命！”这样夸张的赞誉随处可见。从Benchmark来看，它的表现确实非常亮眼，在GAIA测试中超越了之前的各种Agent以及OpenAI的DeepResearch。
要做「AI编程助手界的Waymo」
短短六个月，面向消费者的生成式 AI 市场已发生翻天覆地的变化。一些产品迅速崭露头角，另一些却止步不前，还有意外的黑马一跃成为行业领跑者。
前些天，字节跳动的 AI IDE 产品 Trae 上线了国内版本，其具备「中文语境深度适配 + 全功能免费开放」的双重杀手锏，一上线就收获了不少支持者。全网一片夸赞，很少能看见批评的声音。
法国大模型独角兽 Mistral AI 进军 OCR（光学字符识别）领域了。一出手就是号称「世界上最好的 OCR 模型」！新产品 Mistral OCR 是一种光学字符识别 API，它为文档理解树立了新标准。
2025 年 3 月 5 日，佳士得拍卖行 “增强智能（Augmented Intelligence）”落下帷幕。这场聚焦 AI 艺术的专场拍卖以728,784 美元总成交额收官，34 件拍品中 28 件成交，成交率达 82%。其中，土耳其裔美国艺术家 Refik Anadol 的《机器幻觉 —— 国际空间站之梦 ——A》以27.7 万美元成为全场最高价拍品。
谷歌联合创始人、全球第七富豪拉里・佩奇 (Larry Page) 已经成立了一个 AI 创业公司。据外媒 The Information 本周四报道，拉里・佩奇成立了名为 Dynatomics 的创业公司，旨在用人工智能颠覆制造业。
